(A&&!B&&!D)||(A&&!E)||(!B&&C&&!D)||(!B&&!C&&D)